21. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
پدیدآورنده : Warren A. Hunt, Jr., Fabio Somenzi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
22. Computer aided verification : 3rd international workshop, CAV'91, Alborg, Denmark, 1991 :proceedings
پدیدآورنده : K.G. Larsen, A. Skou, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
575
23. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
پدیدآورنده : Rajeev Alur, Doron A. Peled )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
24. Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
پدیدآورنده : E. Allen Emerson, A. Prasad Sistla )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1855
25. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
پدیدآورنده : Ed Brinksma, Kim Guldstrand Larsen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2404
26. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
پدیدآورنده : Kousha Etessami, Sriram K. Rajamani )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
27. Computer aided verification : 5th International Conference, CAV'93 Elounda, Greece, June 28-July 1, 1993 : proceedings
پدیدآورنده : Costas Courcoubetis )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
697
28. Computer aided verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
پدیدآورنده : Orna Grumberg )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1254
29. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
پدیدآورنده : Rajeev Alur, Thomas A. Henzinger
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1102
30. Computer aided verification : 6th International Conference, CAV'94Stanford, California, USA, June 21-23, 1994. Proceedings
پدیدآورنده : David L. Dill, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
818
31. Computer-aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999
پدیدآورنده : Nicolas Halbwaches, Doron Peled )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation -- Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1633
32. Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
پدیدآورنده : Alan J. Hu, Moshe Y. Vardi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1427
33. Computer and communication systems performance modelling
پدیدآورنده : King, Peter J. B., 2591-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Electronic digital computers- Evaluation,، Telecommunication systems- Evaluation
34. Computer architectures and networks : modelling and evaluation : proceedings of an International Workshop
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Digital computer simulation-- Congresses,، Electronic digital computers-- Evaluation-- Congresses,، Computer networks-- Congresses
رده :
QA
76
.
5
.
C612553
35. Computer assisted radiology :
پدیدآورنده : edited by/Herausgegeben von H.U. Lemke [and others] ; organizer/Organisator, H.U. Lemke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Diagnostic imaging -- Data processing -- Congresses.,Diagnostic imaging -- Digital techniques -- Congresses.,Radiology Information Systems.
36. Computer choice : a manual for the practitioner
پدیدآورنده : McQuaker, R. J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Purchasing,، Electronic digital computers-- Evaluation
رده :
QA
76
.
5
.
M18754
37. Computer performance evaluation : modelling techniques and tools : 9th International Conference, St, Malo, France, June 1997 : proceedings
پدیدآورنده : Raymond Marie...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1245
38. Computer performance evaluation : modelling techniques and tools : 7th International Conference Vienna, Austria, May 3-6, 1994 : proceedings
پدیدآورنده : Gunter Haring, Gabriele Kotsis, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
794
39. Computer performance evaluation : modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings
پدیدآورنده : Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1786
